"lambda-calcul" meaning in All languages combined

{
  "categories": [
    {
      "kind": "other",
      "name": "Lemmes en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Noms communs en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en anglais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Français",
      "orig": "français",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_links": [
    [
      "lambda",
      "lambda"
    ],
    [
      "calcul",
      "calcul"
    ]
  ],
  "etymology_texts": [
    "De lambda et calcul, l'utilisation de la lettre λ provient d'une déformation de l'utilisation d'un chevron (̂x) pour indiquer l'abstraction utilisé dans l'ouvrage Principia Mathematica d'Alfred North Whitehead et Bertrand Russell."
  ],
  "forms": [
    {
      "form": "lambda-calculs",
      "ipas": [
        "\\lɑ̃b.da kal.kyl\\"
      ],
      "tags": [
        "plural"
      ]
    },
    {
      "form": "λ-calcul"
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Nom commun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Exemples en français",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Lexique en français de l’informatique",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Lexique en français des mathématiques",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              23,
              36
            ]
          ],
          "ref": "Lambda Calcul, Gabriel Scherer",
          "text": "On pourrait décrire le lambda-calcul (ou λ-calcul) comme “le premier et le plus simple des langages de programmation fonctionnels”."
        }
      ],
      "glosses": [
        "Système formel fondé sur le concept d'application qui forme un cadre pour manipuler des expressions appelées λ-expressions."
      ],
      "id": "fr-lambda-calcul-fr-noun-qla3vkC2",
      "topics": [
        "computing",
        "mathematics"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\lɑ̃b.da kal.kyl\\"
    }
  ],
  "tags": [
    "masculine"
  ],
  "translations": [
    {
      "lang": "Anglais",
      "lang_code": "en",
      "word": "lambda calculus"
    }
  ],
  "word": "lambda-calcul"
}

{
  "categories": [
    "Lemmes en français",
    "Noms communs en français",
    "Traductions en anglais",
    "français"
  ],
  "etymology_links": [
    [
      "lambda",
      "lambda"
    ],
    [
      "calcul",
      "calcul"
    ]
  ],
  "etymology_texts": [
    "De lambda et calcul, l'utilisation de la lettre λ provient d'une déformation de l'utilisation d'un chevron (̂x) pour indiquer l'abstraction utilisé dans l'ouvrage Principia Mathematica d'Alfred North Whitehead et Bertrand Russell."
  ],
  "forms": [
    {
      "form": "lambda-calculs",
      "ipas": [
        "\\lɑ̃b.da kal.kyl\\"
      ],
      "tags": [
        "plural"
      ]
    },
    {
      "form": "λ-calcul"
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Nom commun",
  "senses": [
    {
      "categories": [
        "Exemples en français",
        "Lexique en français de l’informatique",
        "Lexique en français des mathématiques"
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              23,
              36
            ]
          ],
          "ref": "Lambda Calcul, Gabriel Scherer",
          "text": "On pourrait décrire le lambda-calcul (ou λ-calcul) comme “le premier et le plus simple des langages de programmation fonctionnels”."
        }
      ],
      "glosses": [
        "Système formel fondé sur le concept d'application qui forme un cadre pour manipuler des expressions appelées λ-expressions."
      ],
      "topics": [
        "computing",
        "mathematics"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\lɑ̃b.da kal.kyl\\"
    }
  ],
  "tags": [
    "masculine"
  ],
  "translations": [
    {
      "lang": "Anglais",
      "lang_code": "en",
      "word": "lambda calculus"
    }
  ],
  "word": "lambda-calcul"
}